every convergent sequence is bounded and monotone